Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Removed Luc as editor for the eu mapping #2601

Merged
merged 2 commits into from
Dec 27, 2023
Merged

Removed Luc as editor for the eu mapping #2601

merged 2 commits into from
Dec 27, 2023

Conversation

iherman
Copy link
Member

@iherman iherman commented Dec 19, 2023

The republication of the Note was rejected, because each editor must be member of the WG. To get the publication through this Thursday, I have created a new field for "authors", with Cristina, Luc, and Gregorio, and the "editors" field only refers to Cristina and Gregorio.

We can modify this later if we want, keeping the publication constraint in mind. But this setup reflects the re-publication of the Note under the PM WG's auspices.

@gregoriopellegrino
Copy link
Contributor

Thank you for this proposal. We think that for historical matters we should keep track and mention that Luc was co-editor of the first version. Is there any way to do this? Do we have similar situations in other notes?

@iherman
Copy link
Member Author

iherman commented Dec 21, 2023

@gregoriopellegrino

I have just realized that respec has an undocumented feature of "formerEditors"; it behaves like authors, ie, it can list as a number of persons as part of the header

I am happy to modify this. The current PR says:

Editors: Cristina and you
Authors: Cristina, Luc and you

We can do a

Editors: Cristina and you
Former editors: Cristina, Luc and you

or

Editors: Cristina and you
Former editors: Luc

Which one would you prefer?

As for the other question: pubrules checker would have shouted at me if there was any problem with any of the other documents.

@gregoriopellegrino
Copy link
Contributor

We prefer:

Editors: Cristina and you
Former editors: Luc

@iherman
Copy link
Member Author

iherman commented Dec 22, 2023

@iherman iherman merged commit 97c5e73 into main Dec 27, 2023
2 checks passed
@iherman iherman deleted the moving-Luc branch December 27, 2023 11:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants